Undo lets you mark and select a subset of the deleted records
with the select-menu (see ).
All the selected records are put back in the database again.
Jinx forgets about deleted records if you scratch the current database
by opening another one, joining, etc.